home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 2.iso / STUTTGART / PROBLEMS / BENCHMARK / BUBBLESORT / bubbletest / formula / !run next >
Text File  |  1992-05-13  |  278b  |  8 lines
  1. set bubble_formula$dir <obey$dir>
  2. <bubble_formula$dir>.program { > <bubble_formula$dir>.output }
  3. set bubbletest$dir <obey$dir>.^
  4. <bubbletest$dir>.prove <bubble_formula$dir>.output { > <bubble_formula$dir>.time }
  5. settype <bubble_formula$dir>.time text
  6. <bubble_formula$dir>.time
  7.  
  8.